home *** CD-ROM | disk | FTP | other *** search

---

/ Collection of Tools & Utilities / Collection of Tools and Utilities.iso / tex / ggrep.zip

Text (3)

Name	Format	# Lines	Size	Date
FILE_ID.DIZ	Text File	2	31b	1987-07-17
GGREP.HLP	Text File	127	6KB	1987-07-20
README	Text File	40	2KB	1987-08-25

Other Files (1)

Executable
Name	Format	Size	Date
GGREP.EXE	MS-DOS/Windows Executable	18KB	1987-08-18